Roger Hindley: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Lambda-Calculus and Combinators, an Introduction || Answers to starred exercises

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 187 KB

2008

2

Combinatory Reductions and Lambda Reductions Compared

Journal:

Mathematical Logic Quarterly

Year:

1977

Language:

english

File:

PDF, 632 KB

english, 1977

3

On adding (ξ) to weak equality in combinatory logic

Bunder, Martin W., Hindley, J. Roger, Seldin, Jonathan P.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 400 KB

english, 1989

4

Lambda-Calculus and Combinators, an Introduction || Simple typing, Church-style

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 161 KB

2008

5

Intersection types for combinatory logic

Mariangiola Dezani-Ciancaglini, J.Roger Hindley

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.16 MB

english, 1992

6

Combinatory abstraction using B, B′ and friends

Peter Trigg, J.Roger Hindley, Martin W. Bunder

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1017 KB

english, 1994

7

Some remarks about the connections between Combinatory Logic and axiomatic recursion theory

Roger Hindley, Gerd Mitschke

Journal:

Archive for Mathematical Logic

Year:

1977

Language:

english

File:

PDF, 252 KB

english, 1977

8

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 1210 || Primitive recursion for higher-order abstract syntax

Groote, Philippe, Roger Hindley, J.

Year:

1997

Language:

english

File:

PDF, 943 KB

english, 1997

9

New liquid crystalline compounds based on 1,4-diarylbuta-1,3-dienes

Brettle, Roger, Dunmur, David A., Hindley, Nigel J., Marson, Charles M.

Journal:

Journal of the Chemical Society Chemical Communications

Year:

1992

Language:

english

File:

PDF, 216 KB

english, 1992

10

Principal Type-Schemes and Condensed Detachment

J. Roger Hindley and David Meredith

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 1.00 MB

english, 1990

11

3-Arylcyclohex-2-en-1-ones and 3,6-Diarylcyclohex-2-en-1-ones. New Liquid Crystalline Compounds

Brettle, Roger, Dunmur, David A., Farrand, Louise D., Hindley, Nigel J., Marson, Charles M.

Journal:

Chemistry Letters

Year:

1993

File:

PDF, 380 KB

1993

12

Lambda-Calculus and Combinators, an Introduction || Care of your pet combinator

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

Language:

english

File:

PDF, 99 KB

english, 2008

13

Lambda-Calculus and Combinators, an Introduction || Preface

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 87 KB

2008

14

Lambda-Calculus and Combinators, an Introduction || Simple typing, Curry-style in λ

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 208 KB

2008

15

Lambda-Calculus and Combinators, an Introduction || The formal theories λβ and CLw

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 123 KB

2008

16

Lambda-Calculus and Combinators, an Introduction || Confluence proofs

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 168 KB

2008

17

Lambda-Calculus and Combinators, an Introduction || The undecidability theorem

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 108 KB

2008

18

Lambda-Calculus and Combinators, an Introduction || Bound variables and α-conversion

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 112 KB

2008

19

Lambda-Calculus and Combinators, an Introduction || The λ-calculus

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 200 KB

2008

20

Lambda-Calculus and Combinators, an Introduction || Generalizations of typing

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 311 KB

2008

21

Lambda-Calculus and Combinators, an Introduction || Correspondence between λ and CL

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 201 KB

2008

22

Lambda-Calculus and Combinators, an Introduction || Extensionality in λ-calculus

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 121 KB

2008

23

Lambda-Calculus and Combinators, an Introduction || References

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 140 KB

2008

24

Lambda-Calculus and Combinators, an Introduction || Strong normalization proofs

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 165 KB

2008

25

Lambda-Calculus and Combinators, an Introduction || Simple typing, Curry-style in CL

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 321 KB

2008

26

Lambda-Calculus and Combinators, an Introduction || Extensionality in combinatory logic

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 145 KB

2008

27

Lambda-Calculus and Combinators, an Introduction || Representing the computable functions

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 198 KB

2008

28

Lambda-Calculus and Combinators, an Introduction || Scott's D∞ and other models

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 271 KB

2008

29

Lambda-Calculus and Combinators, an Introduction || The power of λ and combinators

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 160 KB

2008

30

Lambda-Calculus and Combinators, an Introduction || Models of λ-calculus

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 231 KB

2008

31

Lambda-Calculus and Combinators, an Introduction || Combinatory logic

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 153 KB

2008

32

Lambda-Calculus and Combinators, an Introduction || Models of CL

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 136 KB

2008

33

Coppo-Dezani types do not correspond to propositional logic

J.Roger Hindley

Journal:

Theoretical Computer Science

Year:

1983

Language:

english

File:

PDF, 161 KB

english, 1983

34

The completeness theorem for typing λ-terms

Journal:

Theoretical Computer Science

Year:

1983

Language:

english

File:

PDF, 1.61 MB

english, 1983

35

Curry's type-rules are complete with respect to the F-semantics too

Journal:

Theoretical Computer Science

Year:

1983

Language:

english

File:

PDF, 561 KB

english, 1983

36

Combinatory weak reduction in lambda calculus

Naim Çağman, J.Roger Hindley

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 519 KB

english, 1998

37

Types with intersection: An introduction

J. Roger Hindley

Journal:

Formal Aspects of Computing

Year:

1992

Language:

english

File:

PDF, 872 KB

english, 1992

38

BCK-combinators and linear λ-terms have types

J.Roger Hindley

Journal:

Theoretical Computer Science

Year:

1989

Language:

english

File:

PDF, 897 KB

english, 1989

39

RISK FACTORS AND PREVENTION OF RHABDOMYOLYSIS AFTER LAPAROSCOPIC NEPHRECTOMY

Richard G. Hindley, Roger B. Watson

Journal:

BJU International

Year:

2007

Language:

english

File:

PDF, 96 KB

english, 2007

40

Axioms for Strong Reduction in Combinatory Logic

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 900 KB

english, 1967

41

Constitution of triphloretide, a novel macrocyclic triester

Alexander, Roger G., Baggaley, Keith H., Hindley, Richard M.

Journal:

Journal of the Chemical Society Chemical Communications

Year:

1975

Language:

english

File:

PDF, 85 KB

english, 1975

42

Synthesis of new liquid crystalline compounds based on 1,4-diarylbuta-1,3-dienes

Brettle, Roger, Dunmur, David A., Hindley, Nigel J., Marson, Charles M.

Journal:

Journal of the Chemical Society Perkin Transactions 1

Year:

1993

Language:

english

File:

PDF, 1014 KB

english, 1993

43

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 1210 || An axiomatic system of parametricity

Groote, Philippe, Roger Hindley, J.

Year:

1997

Language:

english

File:

PDF, 980 KB

english, 1997

44

A Short Proof of Curry's Normal Form Theorem

Hindley, Roger, Lercher, Bruce

Journal:

Proceedings of the American Mathematical Society

Year:

1970

Language:

english

File:

PDF, 349 KB

english, 1970

45

Basic Simple Type Theory || Introduction

Hindley, J. Roger

Year:

1997

File:

PDF, 395 KB

1997

46

Basic Simple Type Theory || Counting a type's inhabitants

Hindley, J. Roger

Year:

1997

File:

PDF, 1.45 MB

1997

47

Basic Simple Type Theory || The type-free λ-calculus

Hindley, J. Roger

Year:

1997

File:

PDF, 607 KB

1997

48

Basic Simple Type Theory || The converse principal-type algorithm

Hindley, J. Roger

Year:

1997

File:

PDF, 821 KB

1997

49

Basic Simple Type Theory || The correspondence with implication

Hindley, J. Roger

Year:

1997

File:

PDF, 997 KB

1997

50

Basic Simple Type Theory || Assigning types to terms

Hindley, J. Roger

Year:

1997

File:

PDF, 934 KB

1997